There has been a lot of debate in the social media about the merits of rescue efforts to extract the Wild Boars football team and its coach, or the “Lucky 13”, as we might call them.